Recent Trend of Industrial Minerals and Rocks in Japan

Recent Industrial Applications of VDM in Japan

This paper describes the industrial use of the Vienna Development Method (VDM and VDM++) technology in Japan since the acquisition of VDMTools by CSK Systems in 2003. This acquisition followed a very successful application of VDM++ in the development of two subsystems of the TradeOne back office system for securities trading. Subsequently, FeliCa Networks has also successfully applied VDM++ in ...

Elasticity of Selected Rocks and Minerals

been the subject of numerous investigations (Birch, 1960, 1961). In this study, measurement of bulk density and of compressional and rotational wave velocities of a variety of rocks and minerals affords the opportunity of calculating elastic constants and of studying anisotropy in elastic velocities. Although it was not possible to take into account the effect of confining pressure on velocitie...

Electrical conductivity of minerals and rocks

The Composition of Earth: Rocks and Minerals

Cathodoluminescence of Lunar Minerals and Rocks